Existence of finite bases for quasi-equations of unary algebras with 0
نویسندگان
چکیده
A finite unary algebra of finite type with a constant function 0 that is a one element subalgebra, and whose operations have range {0, 1} is called a {0, 1}-valued unary algebra with 0. Such an algebra has a finite basis for its quasi-equations if and only if the relation defined by the rows of the non-trivial functions in the clone form an order ideal.
منابع مشابه
Existence of Finite Bases for Quasi-equations of Unary
A finite unary algebra of finite type with a constant function 0 that is a one-element subalgebra, and whose operations have range {0, 1}, is called a {0, 1}-valued unary algebra with 0. Such an algebra has a finite basis for its quasi-equations if and only if the relation defined by the rows of the non-trivial functions in the clone form an order ideal.
متن کاملBased Algebras and Standard Bases for Quasi-hereditary Algebras
Quasi-hereditary algebras can be viewed as a Lie theory approach to the theory of finite dimensional algebras. Motivated by the existence of certain nice bases for representations of semisimple Lie algebras and algebraic groups, we will construct in this paper nice bases for (split) quasi-hereditary algebras and characterize them using these bases. We first introduce the notion of a standardly ...
متن کاملRelation Algebras As Expanded FL-Algebras
This paper studies generalizations of relation algebras to residuated lattices with a unary De Morgan operation. Several new examples of such algebras are presented, and it is shown that many basic results on relation algebras hold in this wider setting. The variety qRA of quasi relation algebras is defined and shown to be a conservative expansion of involutive FL-algebras. Our main result is t...
متن کاملExpanding Quasi-MV Algebras by a Quantum Operator
We investigate an expansion of quasi-MV algebras ([10]) by a genuine quantum unary operator. The variety p 0QMV of such p 0 quasi-MV algebras has a subquasivariety whose members called cartesian can be obtained in an appropriate way out of MV algebras. After showing that cartesian p 0 quasi-MV algebras generate p 0QMV, we prove a standard completeness theorem for p 0QMV w.r.t. an algebra over t...
متن کاملComplexity of Some Problems Concerning Varieties and Quasi-Varieties of Algebras
In this paper we consider the complexity of several problems involving finite algebraic structures. Given finite algebras A and B, these problems ask the following. (1) Do A and B satisfy precisely the same identities? (2) Do they satisfy the same quasi-identities? (3) Do A and B have the same set of term operations? In addition to the general case in which we allow arbitrary (finite) algebras,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IJAC
دوره 25 شماره
صفحات -
تاریخ انتشار 2015